sum(2^(-2i-3)*((2i+3) choose i),i from 0 to M)